package entities.axiom;

import utils.exception.TypeException;

public enum AxiomType {
	INCLUSION_AXIOM, EQUIVALENCE_AXIOM;

	public static AxiomType getAxiomType(ConceptAxiom ax) throws TypeException {
		if (ax instanceof InclusionAxiom) {
			return INCLUSION_AXIOM;
		} else if (ax instanceof EquivalenceAxiom) {
			return EQUIVALENCE_AXIOM;
		} else {
			throw new TypeException("Unsupported Axiom Type: " + ax.getClass());
		}
	}

}
